clear a_b;
incr a_b;
